$\forall$$f$:(Top$\rightarrow$Top), $L$:(Top List List). map($f$;concat($L$)) $\sim$ concat(map($\lambda$$l$.map($f$;$l$);$L$))